Reflective subcategories, localizations and factorizationa systems
نویسندگان
چکیده
منابع مشابه
On Reflective Subcategories of Locally Presentable Categories
Are all subcategories of locally finitely presentable categories that are closed under limits and λ-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case λ = א0 the answer is affirmative also for all iso-full subcategories, i. e., those containing with every pair of objects all isomorphisms between them. We discuss...
متن کاملReflective Full Subcategories of the Category of L-Posets
and Applied Analysis 3 In this paper, L always denotes a complete residuated lattice unless otherwise stated, and L denotes the set of all L-subsets of a nonempty set X. For all A,B ∈ L , we define A ∩ B x A x ∧ B x , A ∪ B x A x ∨ B x , A ∗ B x A x ∗ B x , A −→ B x A x −→ B x . 2.1 Then L, ∗, → ,∨,∧, 0, 1 is also a complete residuated lattice. If no confusion arises, we always do not discrimin...
متن کاملVisual Subcategories
This thesis introduces the concept of visual subcategories. Many image understanding tasks such as object detection and image classification are formulated as binary classification problems, where the positive examples are instances (bounding boxes or images) of a specific object or scene category, and negative examples are background patches or images. Due to large intra-class variation in the...
متن کاملEducating reflective systems developers
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond those represented in contemporary methods. These insights make us question the role that methods should play in educating would-be developers. Pedagogical theories, such as situated learning and double-loop learning, c...
متن کاملBuilding competent reflective systems
A competent system need not be perfect. It should not try to solve unsolvable problems. Rather it should simplify and decompose overcomplex problems, complement missing information, weight the quality of a solution against the cost of achieving it, approximate solutions if time is sparse, etc. To make a knowledge-based system more competent, we propose to enhance it by suitable competence speci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1985
ISSN: 0263-6115
DOI: 10.1017/s1446788700023624